Dynamic fuzzy logic functor

Dynamic Fuzzy Logic

This paper presents such a way of fuzzy inferencing that a resulting judgment changes in time. The research was motivated by the empirical evidence that people’s feelings about a perceived person or a social situation may oscillate between a highly positive value and a highly negative value even in absence of new data. The proposed method of judgment generation employs the classic fuzzy-set-the...

Fuzzy Dynamic Logic

Fuzzy Logic is extended toward dynamic adaptation of the degree of fuzziness. The motivation is to explain the process of learning as joint model improvement and fuzziness reduction. A learning system with fuzzy models is introduced. Initially, the system is in a highly fuzzy state of uncertain knowledge, and it dynamically evolves into a low-fuzzy state of certain knowledge. We present an imag...

A Fuzzy Dynamic Belief Logic

This paper introduces a new logic approach to reason about the dynamic belief revision by extending wellknown Aucher’s dynamic belief revision approach to fuzzy environments. In our system, propositions take a valuation in linguistic truth term set, and a belief revision is also in a qualitative way. Moreover, we reveal some properties of our system in epistemic style and do a comparison betwee...

An Introduction to Predicate-functor Logic

Modal logic and the Vietoris functor

In [17], Esakia uses the Vietoris topology to give a coalgebra-flavored definition of topological Kripke frames, thus relating the Vietoris topology, modal logic and coalgebra. In this chapter, we sketch some of the thematically related mathematical developments that followed. Specifically, we look at Stone duality for the Vietoris hyperspace and the Vietoris powerlocale, and at recent work com...